COMMENT ⊗   VALID 00002 PAGES 
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	.ARTICLE(ABRAHAMS_LISP2, |Abrahams, P. W. et al|,
 00014 ENDMK
⊗;
.ARTICLE(ABRAHAMS_LISP2, |Abrahams, P. W. et al|,
.The LISP 2 Programming Language and System,
.|↓_Proc.#AFIPS#FJCC 29_↓ (1966), 661-676|)
.
.ARTICLE(BOBROW_CONTROL, |Bobrow, D. G. and Wegbreit, B.|,
.A Model and Stack Implementation of Multiple Environments,
.|Report No. 2334 (March#1972), Bolt, Beranek, and Newman|)
.
.ARTICLE(BOBROW_SUCCESSOR, |Bobrow, D. G.|,
.Requirements for Advanced Programming Systems for List Processing,
.|↓_Comm.#ACM 15_↓, 7 (July#1972), 618-627|)
.
.ARTICLE(BROWN_LOWL, |Brown, P. J.|, Levels of Language for Portable Software,
.|↓_Comm.#ACM 15_↓, 12 (Dec.#1972), 1059-1062|)
.
.BOOK(BURSTALL_POP2, |Burstall, R.M., Collins, J.S. and Popplestone, R.J.|,
.Programming in Pop-2,
.|University Press, Edinburg, Scotland (1971), 279-282|)
.
.BOOK(CHRISTENSEN_EXT, |Christensen, C. and Shaw, C. J.|,
.Proceedings of the Extensible Languages Symposium,
.|↓_ACM SIGPLAN 4_↓, 8 (Aug.#1969)|)
.
.ARTICLE(COLBY_DOC, |Colby, K. M. and Enea, H.|,
.|Heuristic Methods for Computer Understanding of Natural Language in Context
. Restricted On-Line Dialogues|,
.|↓_Math. Biosciences 1_↓ (1967), 1-25|)
.
.ARTICLE(COLBY_WATT, |Colby, K. M., Watt, J., and Gilbert, J. P.|,
.A Computer Method of Psychotherapy,
.|↓_J. of Nervous and Mental Disease 142_↓ (1966), 148-152|)
.
.ARTICLE(DICKMAN_ETC, |Dickman, B. N.|, |ETC: An Extensible Macro Based Compiler|,
.|↓_Proc.#AFIPS#SJCC 38_↓ (1971), 529-538|)
.
.ARTICLE(DUBY_EXT, |Duby, J. J.|,
.Extensible Languages: A Potential User's Point of View,
.|in [λREF SCHUMAN_EXT}], pp.137-140|)
.
.ARTICLE(ENEA_IDIOLECT, |Enea, H., Colby, K. M., and Moravec, H.|,
.Idiolectic Language-Analysis for Understanding Doctor-Patient Dialogues,
.|(submitted to IJCAI)|)
.
.ARTICLE(ENEA_MLISP, |Enea, H.|, |MLISP (IBM 360/67)|,
.|Computer Science Technical Report CS 92 (1968), Stanford University|)
.
.BOOK(FIKES_BACK, |Fikes, R.E.|,
.A Heuristic Program for Solving Problems Stated as Nondeterministic Procedures,
.|PH.D. Thesis (1968), Carnegie-Mellon University|)
.
.ARTICLE(FLOYD_BACK, |Floyd, R. W.|, Nondeterministic Algorithms,
.|↓_J.#ACM 14_↓, 4 (Oct.#1967), 636-644|)
.
.ARTICLE(GOLOMB_BACK, |Golomb, S. W. and Baumert, L. D.|,
.Backtrack Programming,
.|↓_J.#ACM 12_↓, 4 (Oct. 1965), 516-524|)
.
.BOOK(HEWITT_THESIS, |Hewitt, C.|,
.|PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot|,
.|Ph.D. Thesis (Feb 1971), MIT|)
.
.ARTICLE(HEWITT_PLANNER, |Hewitt, C.|, Procedural Embedding of Knowledge in PLANNER,
.|↓_Proc.#IJCAI 2_↓ (1971), 167-182|)
.
.ARTICLE(KAY_LISP, |Kay, A.|, Working Notes on the ARPA List Machine,
.|Informal Memo (Feb. 1971)|)
.
.ARTICLE(KAY_FLEX, |Kay, A.|,
.|FLEX, A Flexible Extendible Language|,
.|CS Tech. Report (1968), U. of Utah|)
.
.ARTICLE(LANDIN_ISWIM, |Landin, P. J.|, The Next 700 Programming Languages,
.|↓_CACM 9_↓, 3 (March#1966), 157-166|)
.
.ARTICLE(LEAVENWORTH_STREAMING, |Leavenworth, B. M.|,
.Definition of Quasi-Parallel Control Functions in a High-Level Language,
.|↓_Proc.#Int'l.#Comp.#Symp._↓ (Bonn,#1970)|)
.
.ARTICLE(MCCARTHY_LISP, |McCarthy, J.|,
.|Recursive Functions of Symbolic Expressions and their Computation by
. Machine, Part I|, |↓_Comm.#ACM 3_↓, 4 (April#1960), 184-195|)
.
.BOOK(MCCARTHY_LISP15, |McCarthy, J. et al|,
.LISP 1.5 Programmer's Manual, |MIT Press, 1962|)
.
.ARTICLE(MCILROY_EXT, |McIlroy, M. Douglas|,
.|Macro Instruction Extension of Compiler Languages|,
.|↓_Comm.#ACM 3_↓, 4 (April#1960), 214-220|)
.
.ARTICLE(MICHIE_MEMO, |Michie, D.|,
.Memo Functions: a Language Feature with Rote-Learning Properties,
.|↓_Proc.#IFIP_↓ (1968), Edinburgh|)
.
.ARTICLE(MILNER_LCF, |Milner, R.|,
.|Logic for Computable Functions, Description of a Machine Implementation|,
.|AI Memo 169, Stanford University, 1972|)
.
.BOOK(MITCHELL_THESIS, |Mitchell, J.|,
.|The Design and Construction of Flexible and Efficient
. Interactive Programming Systems|,
.|PhD. Thesis, Carnegie Mellon University, June 1970|)
.
.ARTICLE(PRENNER_BACK, |Prenner, C.J., Spitzen, J.M., and Wegbreit, B.|,
.An Implementation of Backtracking for Programming Languages",
.|↓_ACM SIGPLAN Notices 7_↓, 11 (Nov. 1972), 36-44|)
.
.BOOK(QUAM_LISP16, |Quam, L.H. and Diffie, W.|,
.Stanford LISP 1.6 Manual,
.|AI Operating Note 28.7 (rev. 1972), Stanford University|)
.
.BOOK(RULIFSON_QA4, |Rulifson, J. F., Waldinger, R. J., and Derksen, J. A.|,
.|QA4, A Language for Writing Problem-Solving Programs|,
.|↓_Proc.#IFIP_↓ (1968), TA-2, 111-115|)
.
.ARTICLE(SCHUMAN_EXT, |Schuman, S., ed.|,
.Proceedings of the International Symposium on Extensible Languages,
.|↓_ACM SIGPLAN Notices 6_↓, 12 (Dec.#1971)|)
.
.ARTICLE(SMITH_BACK, |Smith, D. and Enea, H.|,
.Backtracking in MLISP-2,
.|(submitted to IJCAI)|)
.
.ARTICLE(SMITH_EXT, |Smith, D. and Enea, H.|,
.MLISP2 -- A Programming Language for Writing and Debugging Translators,
.|(forthcoming)|)
.
.ARTICLE(SMITH_MLISP, |Smith, D.|, |MLISP (PDP-10)|,
.|Artificial Intelligence Memo No. 135, Stanford University, Oct. 1970|)
.
.BOOK(SMITH_MLISP2, |Smith, D.C. and Enea, H.J.|,
.MLISP2 Manual,
.|(forthcoming Stanford AI Memo)|)
.
.ARTICLE(SCOWEN_BABEL, |Scowen, R. S.|, An Application of Extensible Compilers,
.|in [λREF SYMPOSIUM}], pp.1-7|)
.
.ARTICLE(SUSSMAN_CONNIVER, |Sussman, G. J. and McDermott, D. V.|,
.Why Conniving is Better than Planning,
.|↓_Proc.#AFIPS#FJCC 41_↓ (1972), 1171-1180|)
.
.BOOK(SUSSMAN_MICRO, |Sussman, G. J. and Winograd, T.|,
.Micro-Planner Reference Manual,
.|AI Memo 203 (July#1970), MIT|)
.
.BOOK(TEITELMAN_BBNLISP, |Teitelman, W. et al|,
.BBN-LISP Reference Manual,
.|(July#1971), Bolt, Beranek, and Newman|)
.
.ARTICLE(TEITELMAN_DWIM, |Teitelman, W.|,
.Toward a Programming Laboratory,
.|↓_Proc.#IJCAI 1_↓ (1969), 1-8|)
.
.BOOK(TEITELMAN_FLIP, |Teitelman, W.|,
.|Design and Implementation of FLIP, a LISP Format Directed List Processor|,
.|Scientific Report No. 10 (July#1967), Bolt, Beranek, and Newman|)
.
.ARTICLE(TESLER_COMPEL, |Tesler, L. and Enea, H.|, A Language Design for Concurrent Processes,
.|↓_Proc.#AFIPS#SJCC 32_↓ (1968), 403-408|)
.
.ARTICLE(TESLER_EXPORT, |Tesler, L., Enea, H., and Smith, D.|,
.|LISP70: An Extensible and Portable Language|,
.|(to be submitted to SIGPLAN/SIGACT symposium)|)
.
.ARTICLE(TESLER_OVERVIEW, |Tesler, L., Enea, H., and Smith, D.|,
.An Overview of LISP70,
.|(forthcoming)|)
.
.ARTICLE(TESLER_REWRITES, |Tesler, L., Enea, H., and Smith, D.|,
.The LISP70 Pattern Matching System,
.|(submitted to IJCAI)|)
.
.ARTICLE(WEGNER_STRUCTURE, |Wegner, P.|, Information Structure Models,
.|Proc.#SIGPLAN Symp. on Data Structures in Prog. Lang., ↓_ACM Sigplan Notices 6_↓
. (Feb.#1971), 1-54|)
.
.ARTICLE(WEGBREIT_ECL, |Wegbreit, B.|, The ECL Programming System,
.|↓_Proc.#AFIPS#FJCC 39_↓ (1971), 253-262|)
.
.ARTICLE(WEIZENBAUM_ELIZA, |Weizenbaum, J.|,
.|ELIZA -- A computer Program for the Study of Natural Communication Between
. Man and Machine", ↓_Comm. ACM 9_↓, 1 (Jan.#1966), 36-45|)